Let <i>F</i> be a field and let <i>f(x)</i> and <i>g(x)</i> belong to  <i>F[x]</i> with <I>g(x)&#8800 0 </i>. Then
there exist unique polynomials <i>q(x)</i> and <i>r(x)</i> in <i>F[x]</i> such that <i>f(x) =
g(x)q(x) +  r(x)</i> and either <i>r(x) =  0 </I> or <I>deg r(x) <  deg g(x)</I>.